$\forall$$A$, $B$:Type. $A$ $\subseteq\rho$ $B$ $\Rightarrow$ ($A$ List) $\subseteq\rho$ ($B$ List)